Program analysis

Results: 6751



#Item
431Astronomy / Outer space / Astrobiology / Extraterrestrial life / Mars / Exploration of Mars / Moons of Mars / Mars Exploration Program Analysis Group / Lunar and Planetary Science Conference / Solar System Exploration Research Virtual Institute / Phobos / Planetary science

Mars Science News November 2015 NEW PLANETARY SCIENCE NUGGETS WEBSITE A new website repository has been created for the collection of NASA SMD Planetary Science Nuggets for:

Add to Reading List

Source URL: mepag.jpl.nasa.gov

Language: English - Date: 2015-11-02 12:00:17
432Stock market / News analytics / Program trading / Technical analysis / Short / News / Initial public offering / Algorithmic trading / Market sentiment

Journal of Financial Economics–287 Contents lists available at ScienceDirect Journal of Financial Economics journal homepage: www.elsevier.com/locate/jfec

Add to Reading List

Source URL: faculty.haas.berkeley.edu

Language: English - Date: 2015-11-24 14:07:02
433Exploration of Mars / Outer space / Mars Exploration Program Analysis Group / NASA / Lunar and Planetary Science Conference / Planetary science / Moons of Mars / Mars / Solar System Exploration Research Virtual Institute / European Geosciences Union / Astronomy / Space

Mars Science News December 2015 31st MEPAG meeting -- Save the Date March 2-3, 2016

Add to Reading List

Source URL: mepag.jpl.nasa.gov

Language: English - Date: 2015-11-30 17:02:52
434Hoare logic / Static program analysis / Predicate transformer semantics

Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias

Add to Reading List

Source URL: www.cs.tufts.edu

Language: English - Date: 2010-03-12 16:07:46
435Spaceflight / Outer space / Astrobiology / Astronomy / Exploration of Mars / Mars rovers / Colonization of Mars / Manned missions to Mars / Mars Exploration Program Analysis Group / Life on Mars / Planetary science / ExoMars

Mars Science News March 2016 New MEPAG Leadership and Goal Committee openings Dr. Jeffrey R. Johnson, a planetary geologist at the John Hopkins University Applied Physics Laboratory, has been selected as the

Add to Reading List

Source URL: mepag.jpl.nasa.gov

Language: English - Date: 2016-03-03 08:09:51
436

SemFix: Program Repair via Semantic Analysis

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2013-04-14 21:28:11
    437

    Bibliometric Analysis of Funded Research. A Feasibility Study Report to the Program Evaluation Committee of NSERC Yves Gingras

    Add to Reading List

    Source URL: www.ost.qc.ca

    Language: English - Date: 2006-06-19 13:50:06
      438

      NASA’s Physics of the Cosmos Program Jamie Bock California Institute of Technology Chair of the Physics of the Cosmos Program Analysis Group

      Add to Reading List

      Source URL: science.nasa.gov

      Language: English - Date: 2015-07-28 09:51:27
        439Spaceflight / Discovery and exploration of the Solar System / Exploration of Mars / Mars / Manned missions to Mars / Space colonization / Exploration of the Moon / Human mission to Mars / In situ resource utilization / Seasonal flows on warm Martian slopes / Mars One / Colonization of Mars

        Selecting a Landing Site for Humans on Mars Mars Exploration Program Analysis Group (MEPAG) Presentation HEOMD/Ben Bussey

        Add to Reading List

        Source URL: mepag.jpl.nasa.gov

        Language: English - Date: 2016-03-07 13:09:17
        440

        Draft- Program Environmental Impact Report Appendix J Project Scale Analysis Burn Planning J. PROJECT SCALE ANALYSIS BURN PLANNING

        Add to Reading List

        Source URL: bofdata.fire.ca.gov

        Language: English - Date: 1997-07-26 01:00:00
          UPDATE